Willem Riphagen 1919–1994

Willem Blok and Modal Logic

We present our personal view on W.J. Blok’s contribution to modal logic.

Willem A . de Graaf

The Dialectic of Teleologyl Willem

Teleology is a central concept in Hegel's philosophy, but, as is too common in his writing, exactly what he understands under that concept, what role within his philosophy it plays, and how he defends his position remain obscure. Hegel did not come to his position on teleology in a vacuum; it was a topic of major concern to his predecessors as well. Then as now, debate focused both on the quest...

2 WILLEM VISSER AND HOWARD BARRINGEREarly

The use of an Ordered Binary Decision Diagram (OBDD) to store all visited states during on-they model checking (or reachability analysis) is investigated. To improve the time and space eeciency a state compression technique is introduced. This compression technique is safe, in the sense that no two unique states will have the same compressed representation. A number of examples are used to eval...

Jan - Willem Romeijn Conditioning and Interpretation Shifts

This paper develops a probabilistic model of belief change under interpretation shifts, in the context of a problem case from dynamic epistemic logic. Van Benthem [4] has shown that a particular kind of belief change, typical for dynamic epistemic logic, cannot be modelled by standard Bayesian conditioning. I argue that the problems described by van Benthem come about because the belief change ...